FLAS Tracking Survey Results 2010–14 Cohort International and Foreign Language Education U.S. Department of Education

Source URL: www2.ed.gov

• Education
• Foreign Language Area Studies
• Language education in the United States
• Student financial aid
• Fellow
• Center for Global Initiatives

Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette

Source URL: pxtp.github.io

• Theoretical computer science
• Mathematics
• Algebra
• Formal methods
• Logic in computer science
• Computability theory
• Models of computation
• Lambda calculus
• Satisfiability modulo theories
• -ring
• De Bruijn index

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Source URL: eprints.nottingham.ac.uk

• Theoretical computer science
• Quantum information science
• Quantum mechanics
• Quantum computing
• Models of computation
• Emerging technologies
• Quantum programming
• Quantum circuit
• Reversible computing
• QML
• Qubit
• Quantum teleportation

Federal Department of Economic Affairs, Education and Research EAER Federal Office for Agriculture FOAG Import and Export Unit English is not an official language of the Swiss Confederation.

Source URL: www.blw.admin.ch

• International trade
• Economy
• Customs duties
• International relations
• Import
• Quotas
• Civil aviation
• Customs declaration
• Tariff
• Customs duties in the United States
• Export
• Customs

C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature

Source URL: www.usenix.org

• Software engineering
• Computer programming
• Computing
• Control flow
• Exception handling
• Setjmp.h
• C++
• Goto
• Subroutine
• Pointer
• Inline expansion
• Switch statement

FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5

Source URL: pages.di.unipi.it

• Mathematics
• Theoretical computer science
• Mathematical logic
• Formal languages
• Order theory
• Logic in computer science
• Multiset
• Path ordering
• Term
• Structure
• Rewriting
• Model theory

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

Source URL: mbeddr.com

• Model checkers
• Computing
• Theoretical computer science
• Software engineering
• Formal methods
• Promela
• SPIN model checker
• Model checking
• Guard
• Certificate
• Formal verification
• Printf format string

Uh and um in Children With Autism Spectrum Disorders or Language Impairment

Source URL: alison.rbind.io

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Source URL: jorgenavas.github.io

• Finite automata
• DFA minimization
• Deterministic automaton
• Finite-state machine
• Theoretical computer science
• Muller automaton
• Bchi automaton

Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Computational neuroscience
• Learning
• Applied mathematics
• Artificial neural networks
• Cybernetics
• Formal sciences
• Deep learning
• Convolutional neural network
• Multi-task learning
• Training
• test
• and validation sets